/ BBS in a Box 12 / BBS in a box XII-2.iso / Files II / Prog / N-P / Open Prolog 1.02.sit / Open Prolog 1.02 / Benchmarks

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 00 0a 42 65 6e 63 68 6d | 61 72 6b 73 00 00 00 00 |..Benchm|arks....|
|00000010| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000020| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000030| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000040| 00 54 45 58 54 50 52 4c | 47 01 00 00 00 00 00 00 |.TEXTPRL|G.......|
|00000050| 00 00 00 00 00 07 dd 00 | 00 01 62 a8 5a 54 36 a8 |........|..b.ZT6.|
|00000060| 5a 54 36 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |ZT6.....|........|
|00000070| 00 00 00 00 00 00 00 00 | 00 00 81 81 e2 28 00 00 |........|.....(..|
|00000080| 25 53 6f 6d 65 20 73 74 | 61 6e 64 61 72 64 20 62 |%Some st|andard b|
|00000090| 65 6e 63 68 6d 61 72 6b | 73 0d 0d 6e 72 65 76 65 |enchmark|s..nreve|
|000000a0| 72 73 65 28 5b 58 7c 4c | 30 5d 2c 4c 29 20 3a 2d |rse([X|L|0],L) :-|
|000000b0| 20 6e 72 65 76 65 72 73 | 65 28 4c 30 2c 4c 31 29 | nrevers|e(L0,L1)|
|000000c0| 2c 63 6f 6e 63 61 74 65 | 6e 61 74 65 28 4c 31 2c |,concate|nate(L1,|
|000000d0| 5b 58 5d 2c 4c 29 2e 0d | 6e 72 65 76 65 72 73 65 |[X],L)..|nreverse|
|000000e0| 28 5b 5d 2c 5b 5d 29 2e | 0d 0d 63 6f 6e 63 61 74 |([],[]).|..concat|
|000000f0| 65 6e 61 74 65 28 5b 58 | 7c 4c 31 5d 2c 4c 2c 5b |enate([X||L1],L,[|
|00000100| 58 7c 4c 32 5d 29 20 3a | 2d 20 63 6f 6e 63 61 74 |X|L2]) :|- concat|
|00000110| 65 6e 61 74 65 28 4c 31 | 2c 4c 2c 4c 32 29 2e 0d |enate(L1|,L,L2)..|
|00000120| 63 6f 6e 63 61 74 65 6e | 61 74 65 28 5b 5d 2c 4c |concaten|ate([],L|
|00000130| 2c 4c 29 2e 0d 0d 6c 69 | 73 74 33 30 28 5b 31 2c |,L)...li|st30([1,|
|00000140| 32 2c 33 2c 34 2c 35 2c | 36 2c 37 2c 38 2c 39 2c |2,3,4,5,|6,7,8,9,|
|00000150| 31 30 2c 31 31 2c 0d 09 | 31 32 2c 31 33 2c 31 34 |10,11,..|12,13,14|
|00000160| 2c 31 35 2c 31 36 2c 31 | 37 2c 31 38 2c 31 39 2c |,15,16,1|7,18,19,|
|00000170| 32 30 2c 32 31 2c 32 32 | 2c 32 33 2c 32 34 2c 32 |20,21,22|,23,24,2|
|00000180| 35 2c 32 36 2c 32 37 2c | 32 38 2c 32 39 2c 33 30 |5,26,27,|28,29,30|
|00000190| 5d 29 2e 0d 0d 74 69 6d | 65 73 31 30 28 28 28 28 |])...tim|es10((((|
|000001a0| 28 28 28 28 28 78 2a 78 | 29 2a 78 29 2a 78 29 2a |(((((x*x|)*x)*x)*|
|000001b0| 78 29 2a 78 29 2a 78 29 | 2a 78 29 2a 78 29 2a 78 |x)*x)*x)|*x)*x)*x|
|000001c0| 29 2e 0d 64 69 76 69 64 | 65 31 30 28 28 28 28 28 |)..divid|e10(((((|
|000001d0| 28 28 28 28 78 2f 78 29 | 2f 78 29 2f 78 29 2f 78 |((((x/x)|/x)/x)/x|
|000001e0| 29 2f 78 29 2f 78 29 2f | 78 29 2f 78 29 2f 78 29 |)/x)/x)/|x)/x)/x)|
|000001f0| 2e 0d 6c 6f 67 31 30 28 | 6c 6f 67 28 6c 6f 67 28 |..log10(|log(log(|
|00000200| 6c 6f 67 28 6c 6f 67 28 | 6c 6f 67 28 6c 6f 67 28 |log(log(|log(log(|
|00000210| 6c 6f 67 28 6c 6f 67 28 | 6c 6f 67 28 6c 6f 67 28 |log(log(|log(log(|
|00000220| 78 29 29 29 29 29 29 29 | 29 29 29 29 2e 0d 6f 70 |x)))))))|))))..op|
|00000230| 73 38 28 28 78 2b 31 29 | 2a 28 78 5e 32 2b 32 29 |s8((x+1)|*(x^2+2)|
|00000240| 2a 28 78 5e 33 2b 33 29 | 29 2e 0d 0d 6d 79 52 65 |*(x^3+3)|)...myRe|
|00000250| 70 65 61 74 28 30 2c 58 | 29 20 3a 2d 20 21 2e 0d |peat(0,X|) :- !..|
|00000260| 6d 79 52 65 70 65 61 74 | 28 43 6f 75 6e 74 2c 50 |myRepeat|(Count,P|
|00000270| 72 6f 63 65 64 75 72 65 | 29 20 3a 2d 0d 09 63 61 |rocedure|) :-..ca|
|00000280| 6c 6c 41 6e 64 46 61 69 | 6c 28 50 72 6f 63 65 64 |llAndFai|l(Proced|
|00000290| 75 72 65 29 2c 0d 09 4e | 65 77 43 6f 75 6e 74 20 |ure),..N|ewCount |
|000002a0| 69 73 20 43 6f 75 6e 74 | 2d 31 2c 21 2c 0d 09 6d |is Count|-1,!,..m|
|000002b0| 79 52 65 70 65 61 74 28 | 4e 65 77 43 6f 75 6e 74 |yRepeat(|NewCount|
|000002c0| 2c 50 72 6f 63 65 64 75 | 72 65 29 2e 0d 09 0d 64 |,Procedu|re)....d|
|000002d0| 75 6d 6d 79 52 65 70 65 | 61 74 28 30 2c 58 29 20 |ummyRepe|at(0,X) |
|000002e0| 3a 2d 20 21 2e 0d 64 75 | 6d 6d 79 52 65 70 65 61 |:- !..du|mmyRepea|
|000002f0| 74 28 43 6f 75 6e 74 2c | 50 72 6f 63 65 64 75 72 |t(Count,|Procedur|
|00000300| 65 29 20 3a 2d 0d 09 64 | 75 6d 6d 79 43 61 6c 6c |e) :-..d|ummyCall|
|00000310| 41 6e 64 46 61 69 6c 28 | 50 72 6f 63 65 64 75 72 |AndFail(|Procedur|
|00000320| 65 29 2c 0d 09 4e 65 77 | 43 6f 75 6e 74 20 69 73 |e),..New|Count is|
|00000330| 20 43 6f 75 6e 74 2d 31 | 2c 0d 09 21 2c 0d 09 64 | Count-1|,..!,..d|
|00000340| 75 6d 6d 79 52 65 70 65 | 61 74 28 4e 65 77 43 6f |ummyRepe|at(NewCo|
|00000350| 75 6e 74 2c 50 72 6f 63 | 65 64 75 72 65 29 2e 0d |unt,Proc|edure)..|
|00000360| 64 75 6d 6d 79 43 61 6c | 6c 41 6e 64 46 61 69 6c |dummyCal|lAndFail|
|00000370| 28 58 29 20 3a 2d 20 64 | 75 6d 6d 79 44 6f 4f 6e |(X) :- d|ummyDoOn|
|00000380| 63 65 28 58 29 2c 66 61 | 69 6c 2e 0d 64 75 6d 6d |ce(X),fa|il..dumm|
|00000390| 79 43 61 6c 6c 41 6e 64 | 46 61 69 6c 28 5f 29 2e |yCallAnd|Fail(_).|
|000003a0| 0d 0d 64 75 6d 6d 79 44 | 6f 4f 6e 63 65 28 58 29 |..dummyD|oOnce(X)|
|000003b0| 20 3a 2d 20 63 61 6c 6c | 28 6d 6f 64 75 6c 65 28 | :- call|(module(|
|000003c0| 58 29 29 2c 21 2e 09 25 | 69 2e 65 2e 20 61 20 64 |X)),!..%|i.e. a d|
|000003d0| 6f 2d 6e 6f 74 68 69 6e | 67 20 63 61 6c 6c 0d 0d |o-nothin|g call..|
|000003e0| 63 61 6c 6c 41 6e 64 46 | 61 69 6c 28 58 29 20 3a |callAndF|ail(X) :|
|000003f0| 2d 20 64 6f 4f 6e 63 65 | 28 58 29 2c 66 61 69 6c |- doOnce|(X),fail|
|00000400| 2e 0d 63 61 6c 6c 41 6e | 64 46 61 69 6c 28 5f 29 |..callAn|dFail(_)|
|00000410| 2e 0d 0d 64 6f 4f 6e 63 | 65 28 58 29 20 3a 2d 20 |...doOnc|e(X) :- |
|00000420| 63 61 6c 6c 28 58 29 2c | 21 2e 0d 0d 74 69 6d 65 |call(X),|!...time|
|00000430| 28 43 6f 75 6e 74 2c 50 | 72 6f 63 65 64 75 72 65 |(Count,P|rocedure|
|00000440| 29 20 3a 2d 0d 09 6e 6f | 6e 76 61 72 28 50 72 6f |) :-..no|nvar(Pro|
|00000450| 63 65 64 75 72 65 29 2c | 0d 09 53 20 69 73 20 63 |cedure),|..S is c|
|00000460| 70 75 74 69 6d 65 2c 0d | 09 6d 79 52 65 70 65 61 |putime,.|.myRepea|
|00000470| 74 28 43 6f 75 6e 74 2c | 50 72 6f 63 65 64 75 72 |t(Count,|Procedur|
|00000480| 65 29 2c 0d 09 54 20 69 | 73 20 63 70 75 74 69 6d |e),..T i|s cputim|
|00000490| 65 2c 0d 09 64 75 6d 6d | 79 52 65 70 65 61 74 28 |e,..dumm|yRepeat(|
|000004a0| 43 6f 75 6e 74 2c 50 72 | 6f 63 65 64 75 72 65 29 |Count,Pr|ocedure)|
|000004b0| 2c 0d 09 43 74 69 6d 65 | 20 69 73 20 63 70 75 74 |,..Ctime| is cput|
|000004c0| 69 6d 65 2d 54 2c 0d 09 | 21 2c 0d 09 45 74 69 6d |ime-T,..|!,..Etim|
|000004d0| 65 20 69 73 20 54 2d 53 | 2c 0d 09 41 74 69 6d 65 |e is T-S|,..Atime|
|000004e0| 20 69 73 20 45 74 69 6d | 65 2d 43 74 69 6d 65 2c | is Etim|e-Ctime,|
|000004f0| 0d 09 74 65 6c 6c 69 6e | 67 28 43 75 72 72 65 6e |..tellin|g(Curren|
|00000500| 74 4f 75 74 70 75 74 29 | 2c 0d 09 74 65 6c 6c 28 |tOutput)|,..tell(|
|00000510| 75 73 65 72 29 2c 0d 09 | 77 72 69 74 65 28 27 45 |user),..|write('E|
|00000520| 6c 61 70 73 65 64 20 74 | 69 6d 65 3a 20 27 29 2c |lapsed t|ime: '),|
|00000530| 0d 09 77 72 69 74 65 28 | 41 74 69 6d 65 29 2c 77 |..write(|Atime),w|
|00000540| 72 69 74 65 28 27 20 6d | 53 27 29 2c 0d 09 74 65 |rite(' m|S'),..te|
|00000550| 6c 6c 28 43 75 72 72 65 | 6e 74 4f 75 74 70 75 74 |ll(Curre|ntOutput|
|00000560| 29 2e 0d 0d 64 28 55 2b | 56 2c 58 2c 44 55 2b 44 |)...d(U+|V,X,DU+D|
|00000570| 56 29 20 3a 2d 20 21 2c | 20 64 28 55 2c 58 2c 44 |V) :- !,| d(U,X,D|
|00000580| 55 29 2c 64 28 56 2c 58 | 2c 44 56 29 2e 0d 64 28 |U),d(V,X|,DV)..d(|
|00000590| 55 2d 56 2c 58 2c 44 55 | 2d 44 56 29 20 3a 2d 20 |U-V,X,DU|-DV) :- |
|000005a0| 21 2c 20 64 28 55 2c 58 | 2c 44 55 29 2c 64 28 56 |!, d(U,X|,DU),d(V|
|000005b0| 2c 58 2c 44 56 29 2e 0d | 64 28 55 2a 56 2c 58 2c |,X,DV)..|d(U*V,X,|
|000005c0| 44 55 2a 56 2b 55 2a 44 | 56 29 20 3a 2d 20 21 2c |DU*V+U*D|V) :- !,|
|000005d0| 64 28 55 2c 58 2c 44 55 | 29 2c 64 28 56 2c 58 2c |d(U,X,DU|),d(V,X,|
|000005e0| 44 56 29 2e 0d 64 28 55 | 2f 56 2c 58 2c 28 44 55 |DV)..d(U|/V,X,(DU|
|000005f0| 2a 56 2d 55 2a 44 56 29 | 2f 56 5e 32 29 20 3a 2d |*V-U*DV)|/V^2) :-|
|00000600| 20 21 2c 64 28 55 2c 58 | 2c 44 55 29 2c 64 28 56 | !,d(U,X|,DU),d(V|
|00000610| 2c 58 2c 44 56 29 2e 0d | 64 28 55 5e 4e 2c 58 2c |,X,DV)..|d(U^N,X,|
|00000620| 44 55 2a 4e 2a 55 5e 4e | 31 29 20 3a 2d 20 69 6e |DU*N*U^N|1) :- in|
|00000630| 74 65 67 65 72 28 4e 29 | 2c 4e 31 20 69 73 20 4e |teger(N)|,N1 is N|
|00000640| 2d 31 2c 64 28 55 2c 58 | 2c 44 55 29 2e 0d 64 28 |-1,d(U,X|,DU)..d(|
|00000650| 2d 55 2c 58 2c 2d 44 55 | 29 20 3a 2d 20 21 2c 64 |-U,X,-DU|) :- !,d|
|00000660| 28 55 2c 58 2c 44 55 29 | 2e 0d 64 28 65 78 70 28 |(U,X,DU)|..d(exp(|
|00000670| 55 29 2c 58 2c 65 78 70 | 28 55 29 2a 44 55 29 20 |U),X,exp|(U)*DU) |
|00000680| 3a 2d 20 21 2c 64 28 55 | 2c 58 2c 44 55 29 2e 0d |:- !,d(U|,X,DU)..|
|00000690| 64 28 6c 6f 67 28 55 29 | 2c 58 2c 44 55 2f 55 29 |d(log(U)|,X,DU/U)|
|000006a0| 20 3a 2d 20 21 2c 64 28 | 55 2c 58 2c 44 55 29 2e | :- !,d(|U,X,DU).|
|000006b0| 0d 64 28 58 2c 58 2c 31 | 29 20 3a 2d 20 21 2e 0d |.d(X,X,1|) :- !..|
|000006c0| 64 28 43 2c 58 2c 30 29 | 2e 0d 0d 6c 69 73 74 35 |d(C,X,0)|...list5|
|000006d0| 30 28 0d 5b 32 37 2c 37 | 34 2c 31 37 2c 33 33 2c |0(.[27,7|4,17,33,|
|000006e0| 39 34 2c 31 38 2c 34 36 | 2c 38 33 2c 36 35 2c 32 |94,18,46|,83,65,2|
|000006f0| 2c 0d 33 32 2c 35 33 2c | 32 38 2c 38 35 2c 39 39 |,.32,53,|28,85,99|
|00000700| 2c 34 37 2c 32 38 2c 38 | 32 2c 36 2c 31 31 2c 0d |,47,28,8|2,6,11,.|
|00000710| 35 35 2c 32 39 2c 33 39 | 2c 38 31 2c 39 30 2c 33 |55,29,39|,81,90,3|
|00000720| 37 2c 31 30 2c 30 2c 36 | 36 2c 35 31 2c 0d 37 2c |7,10,0,6|6,51,.7,|
|00000730| 32 31 2c 38 35 2c 32 37 | 2c 33 31 2c 36 33 2c 37 |21,85,27|,31,63,7|
|00000740| 35 2c 34 2c 39 35 2c 39 | 39 2c 0d 31 31 2c 32 38 |5,4,95,9|9,.11,28|
|00000750| 2c 36 31 2c 37 34 2c 31 | 38 2c 39 32 2c 34 30 2c |,61,74,1|8,92,40,|
|00000760| 35 33 2c 35 39 2c 38 5d | 29 2e 0d 0d 71 73 6f 72 |53,59,8]|)...qsor|
|00000770| 74 28 5b 58 7c 4c 5d 2c | 52 2c 52 30 29 20 3a 2d |t([X|L],|R,R0) :-|
|00000780| 0d 09 70 61 72 74 69 74 | 69 6f 6e 28 4c 2c 58 2c |..partit|ion(L,X,|
|00000790| 4c 31 2c 4c 32 29 2c 0d | 09 71 73 6f 72 74 28 4c |L1,L2),.|.qsort(L|
|000007a0| 32 2c 52 31 2c 52 30 29 | 2c 0d 09 71 73 6f 72 74 |2,R1,R0)|,..qsort|
|000007b0| 28 4c 31 2c 52 2c 5b 58 | 7c 52 31 5d 29 2e 0d 71 |(L1,R,[X||R1])..q|
|000007c0| 73 6f 72 74 28 5b 5d 2c | 52 2c 52 29 2e 0d 0d 70 |sort([],|R,R)...p|
|000007d0| 61 72 74 69 74 69 6f 6e | 28 5b 58 7c 4c 5d 2c 59 |artition|([X|L],Y|
|000007e0| 2c 5b 58 7c 4c 31 5d 2c | 4c 32 29 20 3a 2d 20 58 |,[X|L1],|L2) :- X|
|000007f0| 3d 3c 59 2c 21 2c 0d 09 | 70 61 72 74 69 74 69 6f |=<Y,!,..|partitio|
|00000800| 6e 28 4c 2c 59 2c 4c 31 | 2c 4c 32 29 2e 0d 70 61 |n(L,Y,L1|,L2)..pa|
|00000810| 72 74 69 74 69 6f 6e 28 | 5b 58 7c 4c 5d 2c 59 2c |rtition(|[X|L],Y,|
|00000820| 4c 31 2c 5b 58 7c 4c 32 | 5d 29 20 3a 2d 20 0d 09 |L1,[X|L2|]) :- ..|
|00000830| 70 61 72 74 69 74 69 6f | 6e 28 4c 2c 59 2c 4c 31 |partitio|n(L,Y,L1|
|00000840| 2c 4c 32 29 2e 0d 70 61 | 72 74 69 74 69 6f 6e 28 |,L2)..pa|rtition(|
|00000850| 5b 5d 2c 5f 2c 5b 5d 2c | 5b 5d 29 2e 0d 00 00 00 |[],_,[],|[]).....|
|00000860| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000870| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000880| 00 00 01 00 00 00 01 30 | 00 00 00 30 00 00 00 32 |.......0|...0...2|
|00000890| 70 34 37 34 0d 0d 6d 6f | 64 65 4e 75 6d 62 65 72 |p474..mo|deNumber|
|000008a0| 0d 38 2d 31 35 0d 73 65 | 65 20 49 6e 73 69 64 65 |.8-15.se|e Inside|
|000008b0| 0a 42 65 6e 63 68 6d 61 | 72 6b 73 68 02 00 00 00 |.Benchma|rksh....|
|000008c0| 50 61 72 74 53 49 54 21 | 00 00 00 00 00 00 00 00 |PartSIT!|........|
|000008d0| 00 00 50 61 72 74 53 49 | 54 21 00 00 00 00 00 00 |..PartSI|T!......|
|000008e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000008f0| 00 00 a9 c7 3a 15 00 00 | 00 00 00 00 01 62 65 63 |....:...|.....bec|
|00000900| 74 61 6e 67 6c 65 0d 64 | 72 61 77 28 32 2c 5f 2c |tangle.d|raw(2,_,|
|00000910| 5f 29 2e 20 25 63 6c 6f | 73 65 20 74 68 65 20 67 |_). %clo|se the g|
|00000920| 72 61 70 68 69 63 73 20 | 77 69 6e 64 6f 77 0d 0d |raphics |window..|
|00000930| 0d 0d 0d 02 80 08 2e 19 | 8e 2f 15 f7 09 11 12 97 |........|./......|
|00000940| f7 03 ee 90 f8 03 79 b8 | f7 0b f9 73 dd 00 1a 15 |......y.|...s....|
|00000950| c9 51 32 15 19 64 e6 0e | 19 ea 61 61 f9 a9 10 d2 |.Q2..d..|..aa....|
|00000960| 2d 0f d2 2c 16 17 0f 64 | e6 0e 50 1d 64 e6 0e 1d |-..,...d|..P.d...|
|00000970| ea 61 61 f9 a9 14 d2 31 | 13 d2 30 5e 12 16 ac 7f |.aa....1|..0^....|
|00000980| 00 00 00 2c 01 02 80 08 | 00 00 05 31 2e 30 2e 32 |...,....|...1.0.2|
|00000990| 1f 44 6f 63 75 6d 65 6e | 74 73 20 66 6f 72 20 4f |.Documen|ts for O|
|000009a0| 70 65 6e 20 50 72 6f 6c | 6f 67 20 31 2e 30 2e 32 |pen Prol|og 1.0.2|
|000009b0| 00 00 01 00 00 00 01 30 | 00 00 00 30 00 00 00 32 |.......0|...0...2|
|000009c0| 00 46 73 f8 19 b6 00 00 | 00 1c 00 32 00 00 76 65 |.Fs.....|...2..ve|
|000009d0| 72 73 00 00 00 0a 00 01 | ff ff 00 00 00 00 00 46 |rs......|.......F|
|000009e0| 73 8c 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |s.......|........|
|000009f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
+--------+-------------------------+-------------------------+--------+--------+